\documentclass{beamer}


\usepackage{pgf,pgfnodes,pgfarrows}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{graphicx}
\usepackage{mathpartir}

\usetheme{Singapore}


%\pgfdeclareimage[height=1 cm]{logo}{TU-KL}
%\logo{\pgfuseimage{logo}}


\input{presentation-content.tex}
